| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| bobindex | Text File | 161 | 4KB | 1995-06-06 |
| examples.tv | Text File | 124 | 3KB | 1995-06-06 |
| figures.tv | Text File | 120 | 2KB | 1995-06-06 |
| frontmatter | Text File | 155 | 3KB | 1995-06-06 |
| fulltext.pv | Text File | 1,421 | 35KB | 1995-06-06 |
| fulltext.v | Text File | 1,400 | 35KB | 1995-06-06 |
| media.tv | Text File | 120 | 3KB | 1995-06-06 |
| README | Text File | 87 | 3KB | 1995-06-06 |
| tables.tv | Text File | 120 | 2KB | 1995-06-06 |
| toc.tv | Text File | 283 | 7KB | 1995-06-06 |